#!/bin/bash -ex

set -eu -o pipefail

apt-get -y install z3
